			<ul id="menu">
				<li><a <?php if(basename($_SERVER['PHP_SELF']) == 'index.php') print 'class="current"' ?> href="/">Home</a></li>
				<li><a <?php if(basename($_SERVER['PHP_SELF']) == 'about.php') print 'class="current"' ?> href="/sm3_3/index.php">SM3 v. 3</a></li>
				<li><a <?php if(basename($_SERVER['PHP_SELF']) == 'contacts.php') print 'class="current"' ?> href="/contacts.php">Contatti</a></li>
				<li><a <?php if(basename($_SERVER['PHP_SELF']) == 'documents.php') print 'class="current"' ?> href="/documents.php">Documenti</a></li>
				<li><a <?php if(basename($_SERVER['PHP_SELF']) == 'activities.php') print 'class="current"' ?> href="/activities.php">Attivit&agrave;</a></li>				
				<li class="last"><a href="info.php">Info</a></li>
			</ul>